

#ifndef __UTIL
#  define __UTIL

unsigned int _read_cr3();
unsigned int _read_cr0();
void _write_cr3(unsigned int);
void _write_cr0(unsigned int);
void _flush_idt();

#endif
